#ifndef _taskTimer_H_
#define _taskTimer_H_


extern MrTimerType *g_ptypeMrTimerPrintf;


void vMrTimerPrintf(uint32_t uiParameters);


#endif
